@width: 100px;
div {
  width: @width - 10;
  height: 10px;
}